$\forall$${\it es}$:event\_system\{i:l\}, $a$,$b$:es{-}E(${\it es}$). es{-}locl(${\it es}$; $a$; $b$) $\Rightarrow$ es{-}le(${\it es}$; $a$; $b$)